Ph.D. Proposal: Language Support for Layered Refinement
نویسنده
چکیده
The main goal of the research proposed in this document is to reduce the cost of developing and maintaining large software applications. Our approach augments existing object-oriented languages with a small number of domain-independent features designed to enhance code reusability, thus making applications easier to build. This proposal describes the contributions we expect our research to make.
منابع مشابه
Towards Feature-Oriented Specification and Development with Event-B
A proposal is made for the development of a feature-oriented reuse capability for safety-critical software construction using rigorous methods. We précis the Event-B language the evolution of the B-Method of J.-R. Abrial [1] a leading formal method for safety-critical software development. Current and new infrastructure for scalable development with Event-B is outlined, and contrasted with supp...
متن کاملA logic for n-dimensional hierarchical refinement
Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by inter-related state machines. The decomposition of high level states into inner sub-states, and of their transitions into inner sub-transitions is common refinement procedure adopted in a number of specification forma...
متن کاملA requirement analysis for an open set of human language technology tasks
This work presents a requirement analysis and a design proposal for a general architecture for a specified, yet open set of human language technology (HLT) tasks — the set chosen is dubbed information refinement. Apart from using information refinement as a means to focus the requirement analysis and accompanying design proposal, the analysis and proposal are based on a survey of a number of pr...
متن کاملPh.D. Thesis Proposal: The Communication of Inductive Inferences
We propose a new approach to communication between agents that perform inductive inference. Previous systems have used methods based on voting strategies or theory refinement to integrate multiple learned models. Our approach uses version spaces as a medium for the inter-agent communication of inductive inferences. This allows multiple models to be integrated using the principle of set intersec...
متن کاملIntegrating Refinement into Software Development Tools
It is a challenge for automatic tool support to formal design by refinement transformations. In this paper, we bring this matter to the attention of the research community and discuss a component-based model transformational approach for integrating refinement into software development tools. Models, their consistency and correctness, in an object-oriented and componentbased development process...
متن کامل